package stackSample;

public class InterfaceGenerator {
	
	static native boolean updateFSM(int[] optsPre, int[] optPost);
	
}
